Functional safety analysis of safety-critical system using state transition diagram

The subject of research is to determine the functional safety indicators a fault-tolerant safety-critical system, namely, minimal cut sets’ probability for given duration system’s operation, using state transition diagram (STD). aim create new method analyzing system. This based on methodology developing models operational reliability behavior in form STD. provides detailed representation inoperable states and their relation with pre-failure (inoperable critical) states. task propose classification STD obtain all possible emergencies same space approach allows consideration correlations between failures, that it impossible use fault trees. Since can reach hundreds thousands states, proposed automated determination according classification. was used conduct validation analysis. following results were obtained: system Chapman-Kolmogorov differential equations formed accordance dependence indicator – as function called emergency function. determining usage mask. Note model possibility both indicators. value operation determined tree built by Reliasoft BlockSim software. obtained coincides probability, which defined duration. Thus, designer comprehensively analyze feasibility introducing redundancy (structural, temporal, functional). Conclusions: scientific novelty following: safe, critical catastrophic set stochastic technique ensures an defining improved structural-automatic model.